$\forall$$A$, $B$:Type\{i\}.  $A$ $\sim$ $B$ $\in$ Type\{i'\}